Basic science

Results: 4014



#Item
451

BRICS Basic Research in Computer Science BRICS RSHune et al.: Guided Synthesis of Control Programs for a Batch Plant using U PPAAL Guided Synthesis of Control Programs for

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2001-02-19 07:53:57
    452

    BRICS RSCattani & Winskel: Profunctors, Open Maps and Bisimulation BRICS Basic Research in Computer Science

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2004-10-27 09:38:40
      453

      BRICS Basic Research in Computer Science BRICS RS-02-4 Danvy & Nielsen: Syntactic Theories in Practice

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2002-02-04 09:51:39
        454

        BRICS RS-06-5 K. Støvring: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative BRICS Basic Research in Computer Science

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2006-03-06 18:15:31
          455

          BRICS Basic Research in Computer Science BRICS RSBuhrman et al.: Quantum Entanglement and Communication Complexity Quantum Entanglement

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 1998-01-06 11:10:25
            456

            BRICS Basic Research in Computer Science BRICS RSHune & Sandholm: Using Automata in Control Synthesis — A Case Study Using Automata in Control Synthesis

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2000-09-12 08:22:13
              457

              BRICS Basic Research in Computer Science BRICS RSKlarlund et al.: MONA Implementation Secrets MONA Implementation Secrets

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2001-02-19 14:06:32
                458

                BRICS BRICS LS-96-5 Basic Research in Computer Science

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 1997-03-03 08:02:40
                  459

                  BRICS Basic Research in Computer Science BRICS RSCramer et al.: Span Programs and General Secure Multi-Party Computation Span Programs and General

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 1997-11-25 08:24:32
                    460

                    BRICS Basic Research in Computer Science BRICS RSP. Bouyer: Timed Automata May Cause Some Troubles Timed Automata May Cause Some Troubles

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 2002-08-13 09:27:12
                      UPDATE